Extending  Code  Generation  to     Support  Platform-­‐Independent  Event-­‐B  Models     Asieh  Salehi,  Michael  Butler  and  Colin  Snook   University  of

Source URL: wiki.event-b.org

• Software engineering
• Programming language theory
• Computer programming
• Cross-platform software
• Procedural programming languages
• E
• Pascal
• C

INCITS PL22.16 * PROGRAMMING LANGUAGE C++ InterNational Committee for Information Technology Standards (INCITS) Operating under the procedures of the American National Standards Institute (ANSI) INCITS, 1101 K Street NW,

Source URL: www.open-std.org

AF T Chapter 5 Programming with Dependent Types

Source URL: www.cs.bu.edu

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Procedural programming languages
• Subroutines
• Data types
• C++
• ATS
• ALGOL 68
• ML
• C++ classes

CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type int*int*int, whe

Source URL: courses.cs.washington.edu

• Software engineering
• Programming language theory
• Computer programming
• Procedural programming languages
• Functional languages
• C
• ALGOL 68
• INT
• ML
• Ordinal date
• Struct
• Higher-order function

Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract

Source URL: repository.readscheme.org

• Software engineering
• Theoretical computer science
• Logic programming
• Computer programming
• Programming paradigms
• Automated theorem proving
• Type theory
• Prolog
• Unification
• Substitution
• Interpreter
• Term

The Pivot a source­to­source framework for more elegant and efficient code Peter Pirkelbauer, Texas A&M University  

Source URL: pirkelbauer.com

• Software engineering
• Computer programming
• Programming language theory
• C++
• Object-oriented programming languages
• Cross-platform software
• Procedural programming languages
• Const
• Template
• D
• Concepts
• ALGOL 68

Microsoft PowerPoint - Ppt0000001.ppt [Read-Only]

Source URL: cufp.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Haskell
• Literate programming
• Language Integrated Query
• Entry point
• Object-oriented programming languages
• F Sharp
• C Sharp syntax

PDF Document

Source URL: meetings.mpi-forum.org

• Software engineering
• Computing
• Computer programming
• Data types
• Parameter
• Const
• Boolean data type
• Objective-C
• Foreach loop
• Null
• Fortran 95 language features
• Comparison of data serialization formats

Can simple Natural Language Generation improve Intelligent Tutoring Systems? Barbara Di Eugenio and Michael J. Trolio Electrical Engineering and Computer Science Department University of Illinois at Chicago 1120 SEO (M/C

Source URL: nlp.cs.uic.edu

• Computational linguistics
• Software engineering
• Programming language theory
• Computing
• Natural language processing
• Educational psychology
• Educational technology
• Intelligent tutoring system
• The Diag
• Aggregation
• IBM Basic assembly language and successors
• ALGOL 68

{ This example demonstrates how a Turn Right player can be made Turn Right is the CodeCup gamewww.codecup.nl) The use of this file and/or ideas is not compulsory The TODO’s are filled in by random moves.

Source URL: www.informaticaolympiade.nl

• Pascal
• Software engineering
• C
• P-code machine
• Programming language implementation